A Hoare Logic for Call-by-Value Functional Programs

机译：按值调用功能程序的Hoare逻辑

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Yann Régis-gianas; François Pottier;
展开▼
作者单位

展开▼
年度 2010
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier [J] . Adam Chlipala ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第9期

机译：在可扩展程序验证程序中将生成元编程和Hoare逻辑相结合的基岩结构化编程系统
2. From mathematical logic to programming-language semantics: a discussion with Tony Hoare [J] . Daylight Edgar G. Journal of logic and computation . 2015,第4期

机译：从数学逻辑到编程语言语义：与Tony Hoare的讨论
3. Floyd-Hoare Logic for Quantum Programs [J] . MINGSHENG YING ACM Transactions on Programming Languages and Systems . 2011,第6期

机译：量子程序的Floyd-Hoare逻辑
4. A Hoare Logic for Call-by-Value Functional Programs [C] . Yann Regis-Gianas, Francois Pottier International Conference on Mathematics of Program Construction . 2008

机译：逐个函数函数计划的Hoare逻辑
5. Multiparadigm programming: Novel devices for implementing functional and logic programming constructs in C++. [D] . McNamara, Brian. 2004

机译：多范式编程：用于在C ++中实现功能和逻辑编程结构的新型设备。
6. Is There a Molecular Logic that Sustains Neuronal Functional Integrity and Survival?: Lipid Signaling is Necessary for Neuroprotective Neuronal Transcriptional Programs [O] . Nicolas G. Bazan -1

机译：是否存在维持神经元功能完整性和生存的分子逻辑？：脂质信号传导对于神经保护性神经元转录程序是必需的。
7. A Hoare Logic for Call-by-Value Functional Programs [O] . Regis-Gianas, Yann, Pottier, François 2008

机译：按值调用功能程序的Hoare逻辑

A Hoare Logic for Call-by-Value Functional Programs

著录项

引文网络

相似文献

相关主题

期刊订阅